The base conceptions and algorithms of the metacomputations, neighbourhood analysis, neighbourhood testing of the programs, universal decision algorithm, inverse programming, formal model for free modificator of the programming language semantics and non-standard semantics and effective realization of the non-standard semantics by means of the specialization have been developed, investigated and substantiated.Available from VNTIC / VNTIC - Scientific & Technical Information Centre of RussiaSIGLERURussian Federatio